Medical Device Interoperability With Provable Safety Properties

Applications that can communicate with and control multiple medical devices have the potential to radically improve patient safety and the effectiveness of medical treatment. Medical device interoperability requires devices to have an open, standards-based interface that allows communication with any other device that implements the same interface. This will enable applications and functionality that can improve patient safety and outcomes. To build interoperable systems, we need to match up the capabilities of the medical devices with the needs of the application. An application that requires heart rate as an input and provides a control signal to an infusion pump requires a source of heart rate and a pump that will accept the control signal. We present means for devices to describe their capabilities and a methodology for automatically checking an application’s device requirements against the device capabilities. If such applications are going to be used for patient care, there needs to be convincing proof of their safety. The safety of a medical device is closely tied to its intended use and use environment. Medical device manufacturers create a hazard analysis of their device, where they explore the hazards associated with its intended use. We describe hazard analysis for interoperable devices and how to create system safety properties from these hazard analyses. The use environment of the application includes the application, connected devices, patient, and clinical workflow. The patient model is specific to each application and represents the patient’s response to treatment. We introduce Clinical Application Modeling Language (CAML), based on Extended Finite State Machines, and use model checking to test safety properties from the hazard analysis against the parallel composition of the application, patient model, clinical workflow, and the device models of connected devices

Design Implementation and Evaluation of a Mobile Continuous Blood Oxygen Saturation Monitoring System

Objective: In this study, we built a mobile continuous Blood Oxygen Saturation (SpO2) monitor, and for the first time, explored key design principles towards daily applications. Methods: We firstly built a customized wearable computer that can sense two-channel photoplethysmogram (PPG) signals, and transmit the signals wirelessly to smartphone. Afterwards, we explored many SpO2 model building principles, focusing on linear/nonlinear models, different PPG parameter calculation methods, and different finger types. Moreover, we further compared PPG sensor placement principles by comparing different hand configurations and different finger configurations. Finally, a dataset collected from eleven human subjects was used to evaluate the mobile health monitor and explore all of the above design principles. Results: The experimental results show that the root mean square error of the SpO2 estimation is only 1.8, indicating the effectiveness of the system. Conclusion: These results indicate the effectiveness of the customized mobile SpO2 monitor and the selected design principles. Significance: This research is expected to facilitate the continuous SpO2 monitoring of patients with clinical indications

Two Warm Super-Earths Transiting the Nearby M Dwarf TOI-2095

We report the detection and validation of two planets orbiting TOI-2095 (TIC 235678745). The host star is a 3700K M1V dwarf with a high proper motion. The star lies at a distance of 42 pc in a sparsely populated portion of the sky and is bright in the infrared (K=9). With data from 24 Sectors of observation during TESS's Cycles 2 and 4, TOI-2095 exhibits two sets of transits associated with super-Earth-sized planets. The planets have orbital periods of 17.7 days and 28.2 days and radii of 1.30 and 1.39 Earth radii, respectively. Archival data, preliminary follow-up observations, and vetting analyses support the planetary interpretation of the detected transit signals. The pair of planets have estimated equilibrium temperatures of approximately 400 K, with stellar insolations of 3.23 and 1.73 times that of Earth, placing them in the Venus zone. The planets also lie in a radius regime signaling the transition between rock-dominated and volatile-rich compositions. They are thus prime targets for follow-up mass measurements to better understand the properties of warm, transition radius planets. The relatively long orbital periods of these two planets provide crucial data that can help shed light on the processes that shape the composition of small planets orbiting M dwarfs.Comment: Submitted to AAS Journal

The L 98-59 System: Three Transiting, Terrestrial-size Planets Orbiting a Nearby M Dwarf

We report the Transiting Exoplanet Survey Satellite (TESS) discovery of three terrestrial-size planets transiting L 98-59 (TOI-175, TIC 307210830)—a bright M dwarf at a distance of 10.6 pc. Using the Gaia-measured distance and broadband photometry, we find that the host star is an M3 dwarf. Combined with the TESS transits from three sectors, the corresponding stellar parameters yield planet radii ranging from 0.8 R ⊕ to 1.6 R ⊕. All three planets have short orbital periods, ranging from 2.25 to 7.45 days with the outer pair just wide of a 2:1 period resonance. Diagnostic tests produced by the TESS Data Validation Report and the vetting package DAVE rule out common false-positive sources. These analyses, along with dedicated follow-up and the multiplicity of the system, lend confidence that the observed signals are caused by planets transiting L 98-59 and are not associated with other sources in the field. The L 98-59 system is interesting for a number of reasons: the host star is bright (V = 11.7 mag, K = 7.1 mag) and the planets are prime targets for further follow-up observations including precision radial-velocity mass measurements and future transit spectroscopy with the James Webb Space Telescope; the near-resonant configuration makes the system a laboratory to study planetary system dynamical evolution; and three planets of relatively similar size in the same system present an opportunity to study terrestrial planets where other variables (age, metallicity, etc.) can be held constant. L 98-59 will be observed in four more TESS sectors, which will provide a wealth of information on the three currently known planets and have the potential to reveal additional planets in the system

The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report

The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument

The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report

The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument.Comment: Full report: 498 pages. Executive Summary: 14 pages. More information about HabEx can be found here: https://www.jpl.nasa.gov/habex

A Second Earth-sized Planet in the Habitable Zone of the M Dwarf, TOI-700

We report the discovery of TOI-700 e, a 0.95 R _⊕ planet residing in the Optimistic Habitable Zone (HZ) of its host star. This discovery was enabled by multiple years of monitoring from NASA’s Transiting Exoplanet Survey Satellite (TESS) mission. The host star, TOI-700 (TIC 150428135), is a nearby (31.1 pc), inactive, M2.5 dwarf ( V _mag = 13.15). TOI-700 is already known to host three planets, including the small, HZ planet, TOI-700 d. The new planet has an orbital period of 27.8 days, and based on its radius (0.95 R _⊕ ), it is likely rocky. TOI-700 was observed for 21 sectors over Years 1 and 3 of the TESS mission, including 10 sectors at 20 s cadence in Year 3. Using this full set of TESS data and additional follow-up observations, we identify, validate, and characterize TOI-700 e. This discovery adds another world to the short list of small, HZ planets transiting nearby and bright host stars. Such systems, where the stars are bright enough that follow-up observations are possible to constrain planet masses and atmospheres using current and future facilities, are incredibly valuable. The presence of multiple small, HZ planets makes this system even more enticing for follow-up observations